361. Vollstandige systeme modaler und intuitioni tischor logik

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع : ، Model theory,، Logic symbolic and mathematical

رده :
QA
9
.
7
.
S39V6

362. agent systems :-Formation control of multi

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Multiagent systems. ; Formation control (Machine theory) ; Graph theory. ; Rigidity (Geometry) ; Automatic control ; Mathematical models. ; Robotics ; Mathematical models. ;

363. classical logics, model theory, and computability-Non

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Nonclassical mathematical logic ; Congresses. ; Model theory ; Congresses. ; Computable functions ; Congresses. ;

364. کاربرد تئوری رفتار برنامه ریزی شده در تحلیل عوامل موثر بر پذیرش کشت بدون خاکورزی در شهرستان مرودشت

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)

موضوع : Logit model,Marvdasht county,No-tillage cultivation,Planned behavior theory and Soil conservation